DEF=imp
EXT=imp
TESTDIR=.
KOMPILE_BACKEND?=kore

include ../../../include/kframework/ktest.mak
